Formal Attributes Traceability in Modular Language Development Frameworks

Frameworks: the future of formal software development?

Modular natural language interfaces to logic-based policy frameworks

Available online 6 April 2013

Formal Definition of Traceability Graph

Data-centric workflows focus on how the data is transferred between processes and how it is logically stored. In addition to traditional workflow analysis, these can be applied to monitoring, tracing, and analyzing data in processes and their mutual relationships. In many applications, e.g. manufacturing, the tracing of products thorough entire lifecycle is becoming more and more important. In ...

A Formal Theory of Language Development

This paper presents a formal model of language acquisition that, in addition to meeting the traditional learnability condition, makes time-course predictions about child language development. We view language acquisition as a population of human grammars, made available by UG, compete in a selectionist process. Selection is made possible by the variational properties of individual grammars; spe...

A Formal Definition of Model Composition Traceability

In a multi-modeling based approach, the system under development is described by several models that represent various perspectives and concerns. Obviously, these partial representations are less complex than the global model, but they need to be composed to address validation and synchronization tasks. The model composition is a crucial model driven development operation, but it remains a tedi...